1. Artificial intelligence techniques :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence -- Data processing.,Künstliche Intelligenz,Programm

رده :
Q336
.
A436
1997

2. Australian libraries: the essential directory

پدیدآورنده :

کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)

موضوع : Libraries - Australia - Directories,Information Services - Australia - Directories

رده :
Bib
.
Z870
.
A1A83
2001

3. Automated deduction, CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 ; proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
814

4. Catalogue of artificial intelligence techniques

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Artificial intelligence - Data processing

رده :
Q
.
B86
336
1990

5. Catalogue of artificial intelligence techniques

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Data processing ، Artificial intelligence

رده :
Q
336
.
C28
1990

6. Catalogue of artificial intelligence tools

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Artificial intelligence -- Data processing,، Robotics,، Electronic digital computers -- Programming,Catalogs ، Computer programs

رده :
Q
336
.
C27
1986

7. Catalogue of artificial intelligence tools

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)

موضوع : ، Artificial intelligence-- Data processing,، Robotics,، Electronic digital computers-- Programming,، Computer software-- Catalogs

رده :
Q
336
.
B86
1986

8. The Cambridge history of Christianity: Constantine to c. 600

پدیدآورنده :

کتابخانه: (قم)

موضوع : ، Church history,، Church history - Primitive and early church, ca. 03-006

رده :
BR
145
.
2
.
C66
V
.
2